Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·1d
🔄Burrows-Wheeler
Claude Code's 19 cent Parser
blogger.com·23h
🔧Binary Parsers
Structural vs. Mathematical “Under” (2023)
dyalog.com·12h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
k-NN Classification and Model Evaluation
dev.to·5h·
Discuss: DEV
🧠Machine Learning
Guessing Game: Haskell Style
entropicthoughts.com·14h
👑Dependent Haskell
Teaching programming languages
kmjn.org·1d
💻Programming languages
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·8h
🗂️Vector Databases
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Reloading classes in python and shared borders
andrewpwheeler.com·2h·
Discuss: Hacker News
🦀Rust Macros
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·1d·
Discuss: Hacker News
🔢Denotational Semantics
On systematic construction of correct logic programs
arxiv.org·8h
⚖️Hoare Logic
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
A Dynamic Approach to Collaborative Document Writing
arxiv.org·8h
🔗Parser Combinators
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·1d
💻CS
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·17h·
Discuss: Hacker News
✅Format Validation
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·22h·
Discuss: Hacker News
🌳Archive Merkle Trees
The Nickel Configuration Language
nickel-lang.org·2d·
Discuss: Hacker News
📋Format Specification
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·8h
🧠Machine Learning
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification